• Refine your search:
  • 
    Keyword
  • 
    Creator / Publisher
  • 
    Year:
    
    • 2014 (28)
  • 
    Medium
  • 
    Type
  • 
    BLLDB-Access

Search in the Catalogues and Directories

All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year Sort by creator [A → Z]' creator [Z → A]' publishing year ↑ (asc)' publishing year ↓ (desc)' title [A → Z]' title [Z → A]' Simple Search Page: 1 2 Hits 1 – 20 of 28 1 SawjaCard: A Static Analysis Tool for Certifying Java Card Applications Besson, Frédéric; Jensen, Thomas; Vittet, Pierre In: 21st International Static Analysis Symposium (SAS 2014) ; https://hal.inria.fr/hal-01093327 ; 21st International Static Analysis Symposium (SAS 2014), 2014, Munich, Germany. pp.51 - 67, ⟨10.1007/978-3-319-10936-7_4⟩ (2014) BASE Show details 2 A Precise and Abstract Memory Model for C Using Symbolic Values Besson, Frédéric; Blazy, Sandrine; Wilke, Pierre In: 12th Asian Symposium on Programming Languages and Systems (APLAS 2014) ; https://hal.inria.fr/hal-01093312 ; 12th Asian Symposium on Programming Languages and Systems (APLAS 2014), 2014, Singapore, Singapore. pp.449 - 468, ⟨10.1007/978-3-319-12736-1_24⟩ (2014) BASE Show details 3 Planning Human-Computer Improvisation Nika, Jérôme; Echeveste, José-Manuel; Chemillier, Marc; Giavitto, Jean-Louis In: International Computer Music Conference ; https://hal.archives-ouvertes.fr/hal-01053834 ; International Computer Music Conference, Sep 2014, Athens, Greece ; http://icmc14-smc14.net (2014) Abstract: International audience ; Improvisation intrinsically carries a dialectic between spontaneity/reactivity and long-term planning/organization. This paper transposes this dialectic to interactive human-computer improvisation where the computer has to interleave various generative processes. They require different levels of prior knowledge, and follow a coarser improvisation plan driven by real-time interactions with the musicians. We propose a time-aware extensible architecture allowing the temporal coordination of different improvisation strategies. It integrates various generative strategies capitalizing on the system Improtek into the high-level structure provided by the language associated to the score follower Antescofo. The resulting framework manages the musical events, the triggering of generative processes at different time scales and the declarative specification of improvisation plans driven by the occurrence of complex events. Keyword: [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]; [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]; [INFO.INFO-LG]Computer Science [cs]/Machine Learning [cs.LG]; [INFO.INFO-MM]Computer Science [cs]/Multimedia [cs.MM]; [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH]; [INFO.INFO-SD]Computer Science [cs]/Sound [cs.SD]; [INFO.INFO-TS]Computer Science [cs]/Signal and Image Processing; [SHS.MUSIQ]Humanities and Social Sciences/Musicology and performing arts; Heuristic function construction; Machine Improvisation; Markov processes; Music retrieval; Performing arts; Planning; Programming Language; Real-time system architecture; Scheduling; Sound and Music Computing URL: https://hal.archives-ouvertes.fr/hal-01053834 https://hal.archives-ouvertes.fr/hal-01053834v2/file/NIka_Revised2.pdf https://hal.archives-ouvertes.fr/hal-01053834v2/document BASE Hide details 4 The Package Blueprint: visually analyzing and quantifying package dependencies Abdeen, Hani; Ducasse, Stéphane; Pollet, Damien... In: ISSN: 0167-6423 ; Science of Computer Programming ; https://hal.inria.fr/hal-00957695 ; Science of Computer Programming, Elsevier, 2014, 89 (Part C), pp. 298-319. ⟨10.1016/j.scico.2014.02.016⟩ (2014) BASE Show details 5 ЯЗЫК СПЕЦИФИКАЦИИ ВИРТУАЛЬНОГО ОБОРУДОВАНИЯ ЭМУЛЯТОРОВ ЭВМ БУРЛАКОВ АЛЕКСЕЙ СЕРГЕЕВИЧ. - : Федеральное государственное бюджетное образовательное учреждение высшего образования «Иркутский национальный исследовательский технический университет», 2014 BASE Show details 6 COSMO : a Bayesian model of sensori-motor interactions in speech perception ; COSMO : un modèle bayésien des interactions sensori-motrices dans la perception de la parole Laurent, Raphael. - : HAL CCSD, 2014 In: https://tel.archives-ouvertes.fr/tel-01113286 ; Autre [cs.OH]. Université de Grenoble, 2014. Français. ⟨NNT : 2014GRENM063⟩ (2014) BASE Show details 7 Logically timed specifications in the AADL : a synchronous model of computation and communication (recommendations to the SAE committee on AADL) Besnard, Loïc; Borde, Etienne; Dissaux, Pierre... In: https://hal.inria.fr/hal-00970244 ; [Technical Report] RT-0446, INRIA. 2014, pp.27 (2014) BASE Show details 8 Polymorphic Functions with Set-Theoretic Types. Part 1: Syntax, Semantics, and Evaluation Castagna, Giuseppe; Nguyen, Kim; Xu, Zhiwu... In: POPL '14, 41th ACM Symposium on Principles of Programming Languages ; https://hal.archives-ouvertes.fr/hal-00907166 ; POPL '14, 41th ACM Symposium on Principles of Programming Languages, Jan 2014, San Diego, United States. pp.5-17, ⟨10.1145/2535838.2535840⟩ (2014) BASE Show details 9 Code Your Own Game: The Case of Children with Hearing Impairments Giannakos, Michail,; Jaccheri, Letizia In: Lecture Notes in Computer Science ; 13th International Conference Entertainment Computing (ICEC) ; https://hal.inria.fr/hal-01408511 ; 13th International Conference Entertainment Computing (ICEC), Oct 2014, Sydney, Australia. pp.108-116, ⟨10.1007/978-3-662-45212-7_14⟩ (2014) BASE Show details 10 Dislog: a Logic-Based Language for Processing Discourse Saint-Dizier, Patrick In: Logic Programming: Theory, Practices and Challenges - Proceedings of the 8th International Conference on Language Resources and Evaluation (LREC 2012) ; https://hal.archives-ouvertes.fr/hal-03224122 ; Columbus, Nadya. Logic Programming: Theory, Practices and Challenges - Proceedings of the 8th International Conference on Language Resources and Evaluation (LREC 2012), L12-1 (paper 17), European Language Resources Association (ELRA), pp.2770-2777, 2014 ; https://www.aclweb.org/anthology/L12-1017/ (2014) BASE Show details 11 Automating Variability Model Inference for Component-Based Language Implementations Vacchi, Edoardo; Cazzola, Walter; Combemale, Benoit... In: SPLC'14 - 18th International Software Product Line Conference ; https://hal.inria.fr/hal-01023864 ; SPLC'14 - 18th International Software Product Line Conference, Sep 2014, Florence, Italy (2014) BASE Show details 12 τC: C with process network extensions for embedded manycores Goubier, T.; Couroussé, Damien; Azaiez, S. In: ISSN: 1877-0509 ; EISSN: 1877-0509 ; Procedia Computer Science ; https://hal-cea.archives-ouvertes.fr/cea-01831559 ; Procedia Computer Science, Elsevier, 2014, 29, pp.1100-1112. ⟨10.1016/j.procs.2014.05.099⟩ (2014) BASE Show details 13 Instrumentation of annotated c programs for test generation Petiot, G.; Botella, B.; Julliand, J.... In: 2014 IEEE 14th International Working Conference on Source Code Analysis and Manipulation ; https://hal-cea.archives-ouvertes.fr/cea-01836306 ; 2014 IEEE 14th International Working Conference on Source Code Analysis and Manipulation, Sep 2014, Victoria, Canada. pp.105-114, ⟨10.1109/SCAM.2014.19⟩ (2014) BASE Show details 14 Mezzo: a typed language for safe effectful concurrent programs ; Mezzo: un langage typé pour programmer de manière concurrent et sure en présence d'effets Protzenko, Jonathan. - : HAL CCSD, 2014 In: https://hal.inria.fr/tel-01086106 ; Programming Languages [cs.PL]. Université Paris Diderot - Paris 7, 2014. English (2014) BASE Show details 15 Mining Relevant Sequence Patterns with CP-based Framework Kemmar, Amina; Ugarte Rojas, Willy; Loudni, Samir... In: IEEE Int. Conf. on Tools with Artificial Intelligence (ICTAI 2014) ; https://hal.archives-ouvertes.fr/hal-01145905 ; IEEE Int. Conf. on Tools with Artificial Intelligence (ICTAI 2014), 2014, Limassol,, Cyprus. pp.552-559 (2014) BASE Show details 16 (Co)recursion in Logic Programming: Lazy vs Eager ... Heras, Jónathan; Komendantskaya, Ekaterina; Schmidt, Martin. - : arXiv, 2014 BASE Show details 17 Description and Optimization of Abstract Machines in a Dialect of Prolog ... Morales, Jose F.; Carro, Manuel; Hermenegildo, Manuel. - : arXiv, 2014 BASE Show details 18 BACIBeans: A NetBeans Plugin for Concurrent Programs Broadwell, Ashley In: Seaver College Research And Scholarly Achievement Symposium (2014) BASE Show details 19 A Language Support for Exhaustive Fault-Injection in Message-Passing System Models ... Suzuki, Masaya; Watanabe, Takuo. - : arXiv, 2014 BASE Show details 20 Martta: A C++ Language Workbench ... Wood, Gavin. - : arXiv, 2014 BASE Show details Page: 1 2

Mobile view All Catalogues UB Frankfurt Linguistik 0 IDS Mannheim 0 OLC Linguistik 0 UB Frankfurt Retrokatalog 0 DNB Subject Category Language 0 Institut für Empirische Sprachwissenschaft 0 Leibniz-Centre General Linguistics (ZAS) 0 Bibliographies BLLDB 0 BDSL 0 IDS Bibliografie zur deutschen Grammatik 0 IDS Bibliografie zur Gesprächsforschung 0 IDS Konnektoren im Deutschen 0 IDS Präpositionen im Deutschen 0 IDS OBELEX meta 0 MPI-SHH Linguistics Collection 0 MPI for Psycholinguistics 0 Linked Open Data catalogues Annohub 0 Online resources Link directory 0 Journal directory 0 Database directory 0 Dictionary directory 0 Open access documents BASE 28 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0